Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
11	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
12	Towards User-Friendly Projectional Editors Markus Voelter1 , Janet Siegmund2 , Thorsten Berger3 , and Bernd Kolb4 1 2 3 Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Computing Software Formal languages Compiler construction Language workbench Markup languages Technical communication Structure editor Syntax JetBrains MPS Parsing Abstract syntax tree
13	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
14	24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) Add to Reading List Source URL: fg-afs.gi.de Language: English - Date: 2015-10-19 16:22:16 Formal languages Grammar Language Cognitive science Formal grammar Context-sensitive grammar Tree-adjoining grammar Context-free grammar Regular tree grammar Tree automaton Regular language Graph rewriting
15	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:36:17 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
16	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Information Knowledge Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
17	ICBO: International Conference on Biomedical Ontologies · Buffalo, NY, USA Working with Multiple Biomedical Ontologies Workshop, July 26, 2011 Towards a Body Fluids Ontology: A Unified Application Ontology for Basic and Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2011-07-23 15:26:30 Ontology Academia Information science Knowledge OBO Foundry Upper ontology Formal ontology Gene ontology Body fluid Web Ontology Language Serous fluid Homeostasis
18	Microsoft Word - RegFormTutorials.docx Add to Reading List Source URL: icbo.buffalo.edu Language: English - Date: 2010-05-04 17:27:08 Ontology Semantic Web Information science Metaphysics Knowledge representation Computing Web Ontology Language Formal ontology Mereology Credit card Credit
19	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
20	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree

UPDATE